Lipsey and Lancaster's "general theory of second best" is widely thought to have significant implications for applied theorizing about the institutions and policies that most effectively implement abstract normative principles. It is also widely thought to have little significance for theorizing about which abstract normative principles we ought to implement. Contrary to this conventional wisdom, I show how the second-best theorem can be extended to myriad domains beyond applied normative theorizing, and in particular to more abstract theorizing about the normative (...) principles we should aim to implement. I start by separating the mathematical model used to prove the second-best theorem from its familiar economic interpretation. I then develop an alternative normative-theoretic interpretation of the model, which yields a novel second best theorem for idealistic normative theory. My method for developing this interpretation provides a template for developing additional interpretations that can extend the reach of the second-best theorem beyond normative theoretical domains. I also show how, within any domain, the implications of the second-best theorem are more specific than is typically thought. I conclude with some brief remarks on the value of mathematical models for conceptual exploration. (shrink)

Why study notations, diagrams, or more broadly the variety of nonverbal “representations” or “signs” that are used in mathematical practice? This chapter maps out recent work on the topic by distinguishing three main philosophical motivations for doing so. First, some work (like that on diagrammatic reasoning) studies signs to recover norms of informal or historical mathematical practices that would get lost if the particular signs that these practices rely on were translated away; work in this vein has the potential to (...) broaden our view of the specific normativity of mathematics beyond logical proof. Second, some work focuses on signs to highlight the open-ended and “nonrigorous” aspects of mathematical practice, and the role of these aspects in the historical development of mathematics. The third motivation is based on the following observation: the reason differences in signs matter in mathematics is that humans are finite agents, with cognitive and computational limitations. Accordingly, studying signs can be a way to study how human computational constraints shape the mathematics that we do, and to tackle the topic of mathematical understanding. (shrink)

Artificial intelligence has historically been conceptualized in anthropomorphic terms. Some algorithms deploy biomimetic designs in a deliberate attempt to effect a sort of digital isomorphism of the human brain. Others leverage more general learning strategies that happen to coincide with popular theories of cognitive science and social epistemology. In this paper, I challenge the anthropomorphic credentials of the neural network algorithm, whose similarities to human cognition I argue are vastly overstated and narrowly construed. I submit that three alternative supervised learning (...) methods—namely lasso penalties, bagging, and boosting—offer subtler, more interesting analogies to human reasoning as both an individual and a social phenomenon. Despite the temptation to fall back on anthropomorphic tropes when discussing AI, however, I conclude that such rhetoric is at best misleading and at worst downright dangerous. The impulse to humanize algorithms is an obstacle to properly conceptualizing the ethical challenges posed by emerging technologies. (shrink)

According to dispositionalism about modality, a proposition <p> is possible just in case something has, or some things have, a power or disposition for its truth; and <p> is necessary just in case nothing has a power for its falsity. But are there enough powers to go around? In Yates (2015) I argued that in the case of mathematical truths such as <2+2=4>, nothing has the power to bring about their falsity or their truth, which means they come out both (...) necessary and not possible. Combining this with axiom (T), it is easy to derive a contradiction. I suggested that dispositionalists ought to retreat a little and say that <p> is possible just in case either p, or there is a power to bring it about that p, grounding the possibility of mathematical propositions in their truth rather than in powers. Vetter’s (2015) has the resources to provide a response to my argument, and in her (2018) she explicitly addresses it by arguing for a plenitude of powers, based on the idea that dispositions come in degrees, with necessary properties a limiting case of dispositionality. On this view there is a power for <2+2=4>, without there being a power to bring about its truth. In this paper I argue that Vetter’s case for plenitude does not work. However, I suggest, if we are prepared to accept metaphysical causation, a case can be made that there is indeed a power for <2+2=4>. (shrink)

Extant theoretical work on the political resource curse implies that dependence on resource revenues should decrease autocracies’ likelihood of democratizing but not necessarily affect democracies’ chances of survival. Yet most previous empirical studies estimate models that are ill-suited to address this claim. We improve upon earlier studies, estimating a dynamic logit model that interacts a continuous measure of resource dependence with an indicator of regime type using data from 166 countries, covering the period from 1816-2006. We find that an increase (...) in resource dependence at time t - 1 increases the likelihood of autocratic persistence at t, but has no appreciable effect on democratic survival. We go beyond existing empirical studies to show that increases in resource dependence have persistent and substantial cumulative effects on autocracies' likelihood of becoming democratic over the long-term, showing that the total effect of resource dependence on regime type is much larger than the short-term (one period) effect indicates. (shrink)

Are extreme beliefs constitutive of echo chambers, or only typically caused by them? Or are many echo chambers unproblematic, amplifying relatively benign beliefs? This paper details the conceptual relations between echo chambers and extreme beliefs, showing how different conceptual choice-points in how we understand both echo chambers and extreme beliefs affects how we should evaluate, study, and engage with echo chambering groups. We also explore how our theories of extreme beliefs and echo chambers shape social scientific research and contribute in (...) a practical way when treating these phenomena, focusing on examples of climate change scepticism. (shrink)

Fichte-Studien, volume 49 (Leiden: Brill/Rodopi Publishers, 8 April 2021), edited by David W. Wood, 471pp. -/- Presenting new critical perspectives on J.G. Fichte’s Wissenschaftslehre, this volume of articles in English by an international group of scholars addresses the topic of first principles in Fichte’s writings. Especially discussed are the central text of his Jena period, the 1794/95 Grundlage der gesammten Wissenschaftslehre, as well as later versions like the Wissenschaftslehre nova methodo (1796-99) and the presentations of 1804 and 1805. Also (...) included are new studies on the first principles of the particular sub-disciplines of Fichte’s system, such as the doctrines of aesthetics, nature, right, ethics, and history. The volume also contains a number of miscellaneous essays on Fichte research, as well as several book reviews. (shrink)

L'ingegneria concettuale è una branca della filosofia caratterizzata da un approccio normativo nei confronti della rappresentazione. Assunzione fondamentale è che i nostri dispositivi rappresentazionali possano essere difettosi. Si configura dunque come l'attività che consiste nell'identificare i difetti in tali dispositivi e mettere in atto strategie di miglioramento. Verranno illustrate le questioni fondamentali a cui una teoria di ingegneria concettuale deve rispondere: in cosa consiste esattamente questa attività? Come possiamo attuarla? Quali meccanismi regolano la formazione dei dispositivi rappresentazionali? Possiamo influire su (...) tali meccanismi? Verrà inoltre presentata un'obiezione all'ingegneria concettuale e varie risposte. -/- Conceptual engineering is a branch of philosophy characterised by a normative approach towards representation. The fundamental assumption of it is that our representational devices can be defective. Conceptual engineering is then the activity consisting of identifying the defects of such devices and putting in place ameliorative strategies. This paper illustrates the fundamental issues for a theory of conceptual engineering: what does this activity consist of? How can we implement it? What mechanisms regulate the formation of representational devices? Can we have an influence over those mechanisms? Moreover, it will be presented an objection to conceptual engineering and various responses to it. (shrink)

Historically the focus of moral decision-making in games has been narrow, mostly confined to challenges of moral judgement (deciding right and wrong). In this paper, we look to moral psychology to get a broader view of the skills involved in ethical behaviour and how these skills can be employed in games. Following the Four Component Model of Rest and colleagues, we identify four “lenses” – perspectives for considering moral gameplay in terms of focus, sensitivity, judgement and action – and describe (...) the design problems raised by each. To conclude, we analyse two recent games, The Walking Dead and Papers, Please, and show how the lenses give us insight into important design differences between these games. (shrink)

Historically the focus of moral decision-making in games has been narrow, mostly confined to challenges of moral judgement (deciding right and wrong). In this paper, we look to moral psychology to get a broader view of the skills involved in ethical behaviour and how they may be employed in games. Following the Four Component Model of Rest and colleagues, we identify four “lenses” – perspectives for considering moral gameplay in terms of focus, sensitivity, judgement and action – and describe the (...) design problems raised by each. To conclude, we analyse two recent games, The Walking Dead and Papers, Please, and show how the lenses give us insight into important design differences between them. (shrink)

According to non-doxastic theories of propositional faith, belief that p is not necessary for faith that p. Rather, propositional faith merely requires a ‘positive cognitive attitude’. This broad condition, however, can be satisfied by several pragmatic approaches to a domain, including fictionalism. This paper shows precisely how fictionalists can have faith given non-doxastic theory, and explains why this is problematic. It then explores one means of separating the two theories, in virtue of the fact that the truth of the propositions (...) in a discourse is of little consequence for fictionalists, whereas their truth matters deeply for the faithful. Although promising, this approach incurs several theoretical costs, hence providing a compelling reason to favour a purely doxastic account of faith. (shrink)

According to the seventh-century C.E. philosopher Kumārila Bhat.t.a, epistemic agents are warranted in taking their world-presenting experiences as veridical, if they lack defeaters. For him, these experiences are defeasibly sources of knowledge without the agent reflecting on their content or investigating their causal origins. This position is known as svatah prāmāṇya in Sanskrit (henceforth the SP principle). -/- As explicated by the eleventh-century commentator, Pārthasārathi Misŕa, this position entails that epistemic agents know things without simultaneously knowing that they know them, (...) or being in a position to know that they know. In contrast, some contemporary Anglo-analytic philosophers argue for the “knows-knows principle” (KK principle), in which if someone knows that p, then that person also knows that they know that p, or that person is in a position to know that they know p. Despite some apparent similarities, the SP principle is not a version of the KK principle, nor would Pārthasārathi’s Kumārila have held the KK principle. -/- Recently, Daniel Immerman (2018) has argued that the SP principle is a position-to-know version of the “knows-knows principle” (KK-pos principle). By examining Kumārila’s response to his Buddhist opponent, who challenges the veracity of Vedic testimony, we will see that Kumārila understands higher-order knowing as involving an independent check on one’s epistemic processes, through an epistemic instrument known as postulation (arthāpatti). This precludes him from holding the KK-pos principle. (shrink)

There has been a recent surge of research interest in videogames of moral engagement for entertainment, advocacy and education. We have seen a wealth of analysis and several theoretical models proposed, but experimental evaluation has been scarce. One of the difficulties lies in the measurement of moral engagement. How do we meaningfully measure whether players are engaging with and affected by the moral choices in the games they play? In this paper, we survey the various standard psychometric instruments from the (...) moral psychology literature and discuss how they might be applied in the evaluation of games. (shrink)

In this paper, we present three necessary conditions for morally responsible animal research that we believe people on both sides of this debate can accept. Specifically, we argue that, even if human beings have higher moral status than nonhuman animals, animal research is morally permissible only if it satisfies (a) an expectation of sufficient net benefit, (b) a worthwhile-life condition, and (c) a no unnecessary-harm/qualified-basic-needs condition. We then claim that, whether or not these necessary conditions are jointly sufficient conditions of (...) justified animal research, they are relatively demanding with the consequence that many animal experiments may fail to satisfy them. (shrink)

Is propositional religious faith constituted by belief? Recent debate has focussed on whether faith may be constituted by a positive non-doxastic cognitive state, which can stand in place of belief. This paper sets out and defends the doxastic theory. We consider and reject three arguments commonly used in favour of non-doxastic theories of faith: (1) the argument from religious doubt; (2) the use of ‘faith’ in linguistic utterances; and (3) the possibility of pragmatic faith. We argue that belief is required (...) to maintain a distinction between genuine faith, pretend faith, and fictionalist faith. (shrink)

Truthmaker theory promises to do some useful philosophical work: equipping us to argue against phenomenalism and Rylean behaviourism, for instance, and helping us decide what exists (Lewis 1999, 207; Armstrong 1997, 113-119). But it has proved hard to formulate a truthmaker theory that is both useful and believable. I want to suggest that a neglected approach to truthmakers – that of Ian McFetridge – can surmount some of the problems that make other theories of truthmaking unattractive. To begin with, I’ll (...) outline some of the most prominent accounts of truthmaking in the current literature. Then the second part of the paper will explain McFetridge’s theory and argue for its superiority over these accounts. (shrink)

Criminal law theory made a significant advance roughly thirty years ago when George Fletcher popularized the important conceptual distinction between justifications and excuses. In the intervening years, however, very little progress has been made in exploring the structure and function of justification defenses. The reason for this failure, I suggest, is a widely shared misconception about their place within the criminal law’s institutional structure. Contrary to what is generally believed, it is not up to trial courts to decide ex post (...) facto what conduct is justified and what is not. This determination is made ex ante by other institutional actors such as private fiduciaries, public officials, and sometimes, ordinary citizens caught in extraordinary circumstances. The court’s role is simply to review the validity of that prior exercise of decision-making discretion. More broadly, my study is intended to serve as a reminder of the importance of institutional structure in criminal law. It is almost always misleading to address issues in criminal law by way of abstract moral theorizing, as is often done, because this leaves out the crucial question of institutional division of labor. Before addressing the substantive aspect of particular questions—what conduct should be prohibited, justified, or excused—we must first address ourselves to the institutional questions that I have called the problems of authority, discretion, and legality. These institutional questions receive their most thorough treatment in two other areas of law: the private law of fiduciaries and public administrative law. If we wish to make progress in understanding justification defenses—and the institutional structure of criminal law more generally—I argue that it is to these areas of law that we should attend. (shrink)

Recent methodological debates regarding the place of feasibility considerations in normative political theory are hindered for want of a rigorous model of the feasibility frontier. To address this shortfall, I present an analysis of feasibility that generalizes the economic concept of a production possibility frontier and then develop a rigorous model of the feasibility frontier using the familiar possible worlds technology. I then show that this model has significant methodological implications for political philosophy. On the Target View, a political ideal (...) presents a long-term goal for morally progressive reform efforts and, thus, serves as an important reference point for our specification of normative political principles. I use the model to show that we can- not reasonably expect that adopting political ideals as long-term reform objectives will guide us toward the realization of morally optimal feasible states of affairs. I conclude by proposing that political philosophers turn their attention to the analysis of actual social failures rather than political ideals. (shrink)

Analytic philosophers have, since the pioneering work of B.K. Matilal, emphasized the contributions of Nyāya philosophers to what contemporary philosophy considers epistemology. More recently, scholarly work demonstrates the relevance of their ideas to argumentation theory, an interdisciplinary area of study drawing on epistemology as well as logic, rhetoric, and linguistics. This paper shows how early Nyāya theorizing about argumentation, from Vātsyāyana to Jayanta Bhaṭṭa, can fruitfully be juxtaposed with the pragma-dialectic approach to argumentation pioneered by Frans van Eemeren. I illustrate (...) the implications of this analysis with a case study from Jayanta Bhaṭṭa’s satirical play, Much Ado about Religion (Āgamaḍambara). (shrink)

Epistocratic systems of government have received renewed attention, and considerable opposition, in recent political philosophy. Although they vary significantly in form, epistocracies generally reject universal suffrage. But can they maintain the advantages of universal suffrage despite rejecting it? This paper develops an argument for a significant instrumental advantage of universal suffrage: that governments must take into account the interests of all of those enfranchised in their policy decisions or else risk losing power. This is called ‘the Interests Argument’. One problem (...) for the Interests Argument is that governments are not entirely responsive to voter interests, partly because voters do not always know what is in their interests. I will show how this epistemic claim can be used to support certain forms of epistocracy, but deny that it undermines the Interests Argument. I then consider whether we can identify forms of epistocracy that preserve the benefits of the Interests Argument whilst overcoming the epistemic limitations of democracy. I propose six forms of epistocracy, and argue that two are able to maintain these benefits, hence providing an evaluation of the relative strengths of these epistocracies with respect to one of the most valuable instrumental benefits of universal suffrage. Whilst epistocracy lacks many of the advantages of democracy, this paper shows that some forms fare better than others. (shrink)

In Indian philosophy, a pramāṇa is an epistemic instrument or doxastic practice that results in a veridical cognition (in an event of knowing). For just about all Indian thinkers, perception (pratyakṣa) and inference (anumāna) are the foundational pramāṇas, although they debated energetically over how to characterize the content of the resultant cognitions and how to explain the basis for the authority of these pramāṇas. Debate also includes the relationship of knowledge to religious liberation, the role of scripture in knowing, and (...) the possibility of omniscience. (shrink)

This article raises a principled objection to the privatization of certain core police services. Whereas most of the literature critical of privatizing security services has focused on the negative consequences of doing so (corruption, waste, etc.), the argument here focuses squarely on the standing of private parties to perform police services. According to an important strain of liberal political theory, certain tasks are assigned to the state not because it is deemed to be more efficient at delivering those services but (...) simply because such services must be rendered by a party that acts in the name of the polity as a whole and not in the name of some narrower private interest. The author argues that all those policing functions – such as arrest, search, and detention – that require criminal law justification (because they involve conduct on the part of officers that is generally criminally prohibited) are of this nature. The article also summarizes the different dimensions of the larger privatization debate and traces the development of the debate about legitimate policing in the nineteenth and twentieth centuries. (shrink)

This special issue of Games and Culture focuses on the intersection between video games and ethics. This introduction briefly sets out the key research questions in the research field and identifies trends in the articles included in this special issue.

In lieu of an abstract, here is a brief excerpt of the content:Comments on “Moral Complicity in Induced Pluripotent Stem Cell Research”W. Malcolm Byrnes, Ph.D. and Edward J. FurtonIn his article titled “Moral Complicity in Induced Pluripotent Stem Cell Research,” Mark T. Brown (2009) unfortunately mischaracterizes my ethical analysis of the use of induced pluripotent stem (iPS) cells for replacement therapies, or treatments (Byrnes 2008). In my paper, which Brown cites, I argue that, just as it is ethically acceptable (...) for parents to allow their children and themselves to be immunized using vaccines produced by cell lines derived from human fetuses aborted in the past, it is also acceptable for persons in the future to benefit from treatments that use iPS cells validated using human embryonic stem (ES) cell lines [End Page 202] derived in the past. The assumption I make is that iPS cells would have to be shown to be functionally equivalent to human ES cells—i.e., validated—before they could be used for cell replacement treatments. (If it turns out that this assumption is incorrect, and primate or even mouse ES cells can be used for the validation, then all residual ethical problems will disappear and there will be no ethical problems whatsoever associated with iPS cells.) I wrote:... [I]n both cases, the origin of the treatment is in a one-time event: either the one-time use of aborted fetuses to obtain cell lines (e.g., MRC-5 and WI- 38) to grow weakened virus strains for vaccine production, or the one-time destruction of human embryos to validate iPS cells, which then effectively replace embryonic stem cells. In the latter case, if no additional embryonic stem cell lines are derived, then derivation of the existing lines could be considered a “one-time” event in the past, albeit an event that extended over a several-year period(Byrnes 2008, p. 287, emphasis added).Note the phrase “if no additional embryonic stem cell lines are derived.” The derivation of ES cell lines inherently involves destruction of embryos; indeed, that is why many people, including me, are opposed to human ES cell research. In my article, I am arguing that, if no additional ES cell lines are derived, then no additional human embryos will be destroyed, and the destruction of human embryos will lie in the past. In this case, embryo destruction could be considered a past event, just as the abortion of a human fetus from which vaccine-producing cell lines were derived is a past, albeit tragic, event.In the process of building his argument that proponents of iPS cell research are morally complicit in embryo destruction, Brown (2009, p. 15) casts me as being in favor of the “derivation of new embryonic stem [cell lines].” This is the exact opposite of my position. In fact, I am opposed to further destruction of human embryos. I believe that the hundreds of ES cell lines already in existence are more than sufficient to validate iPS cells and so no additional lines need to be derived. This means that no additional human embryos will need to be destroyed.Apparently based on the misperception that I support future destruction of human embryos, Brown concludes that “Byrnes’s endorsement of ongoing iPSC validation studies would seem to implicate him and those who follow his lead in formal and material complicity in what they perceive as moral evil” (p. 16). He writes that “explicit formal complicity would attach because he [Byrnes] knowingly and intentionally recommends that embryos be killed in order to facilitate a transition to a future in which no more embryos need be destroyed” (p. 16). Additionally, my “followers” and I would be guilty of “proximate material complicity” as well as “remote material complicity” (p. 16). Unfortunately, this broad condemnation is based on a misconception of my actual position.An additional problem involves Brown’s use of a quotation he attributes to me: [End Page 203]Once embryonic stem cells are used to successfully validate iPS cells, they will no longer be needed and their association with iPS cells will lie in the past. Is there not an element of sadness and resignation in accepting something (iPS cells) associated with an unjust act (destruction of an... (shrink)

What is the relationship between faith and evidence? It is often claimed that faith requires going beyond evidence. In this paper, I reject this claim by showing how the moral demands to have faith warrant a person in maintaining faith in the face of counter-evidence, and by showing how the moral demands to have faith, and the moral constraints of evidentialism, are in clear tension with going beyond evidence. In arguing for these views, I develop a taxonomy of different ways (...) of irrationally going beyond evidence and contrast this with rational ways of going against evidence. I then defend instances of having a moral demand to have faith, explore how this stands in tension with going beyond and against evidence, and develop an argument for the claim that faith involves a disposition to go against, but not beyond evidence. (shrink)

Religious fundamentalism remains a significant force in global politics and religion. Despite a range of problems arising from fundamentalism, the beliefs fundamentalists hold can seem quite reasonable. This paper considers whether, in fact, fundamentalist beliefs are rational by drawing on recent ideas in contemporary epistemology. The paper presents a general theory of fundamentalist beliefs in terms of their propositional content and the high credence levels attributed to them. It then explores the way these beliefs are both acquired and retained by (...) applying ideas from the social epistemology of echo chambers and group belief. The paper then considers three accounts of the rationality of belief: evidentialist, reliabilist, and virtue-theoretic. It is argued that fundamentalist beliefs can be reasonable on evidentialist standards, but are nevertheless still problematic on reliabilist and virtue standards, since they are formed in environments that are not truth-conducive and which cultivate intellectual vice. (shrink)

Do we insult, offend or slight a speaker when we refuse her testimony? Do we compliment, commend or extol a speaker when we accept her testimony? I argue that the answer to both of these questions is “yes”, but only in some instances, since these respective insults and compliments track the reasons a hearer has for rejecting or accepting testimony. When disbelieving a speaker, a hearer may insult her because she judges the speaker to be either incompetent as a knower (...) or insincere as a teller. However, there are many instances where we reject testimony without making this negative evaluation of the speaker, and as such, without paying her an insult. Testimonial compliments are fewer in number, and are not constitutive of “everyday” testimonial exchanges, since, speakers who are competent as knowers and sincere as tellers are merely behaving correctly in accordance with the norms of testifying. Nevertheless, deferring to an authority on belief can be complimentary to that speaker if by doing so we judge her to have some mastery in a particular domain. Testimonial insults and compliments have important moral implications, particularly with regard to epistemic injustice and therapeutic trust. (shrink)

[This is an edited version of a keynote talk at the conference on Neural Information Processing Systems (NeurIPS) on November 28, 2022, with some minor additions and subtractions.] -/- There has recently been widespread discussion of whether large language models might be sentient or conscious. Should we take this idea seriously? I will break down the strongest reasons for and against. Given mainstream assumptions in the science of consciousness, there are significant obstacles to consciousness in current models: for example, their (...) lack of recurrent processing, a global workspace, and unified agency. At the same time, it is quite possible that these obstacles will be overcome in the next decade or so. I conclude that while it is somewhat unlikely that current large language models are conscious, we should take seriously the possibility that successors to large language models may be conscious in the not-too-distant future. (shrink)

It is sometimes claimed that faith is a virtue. To what extent faith is a virtue depends on what faith is. One construal of faith, which has been popular in both recent and historical work on faith, is that faith is a matter of taking oneself to have been spoken to by God and of trusting this purported divine testimony. In this paper, I argue that when faith is understood in this way, for faith to be virtuous then it must (...) be accompanied by intellectual humility. I defend this view by showing how someone ought to respond to purported divine testimony if her faith is to be intellectually humble, and how, if it fails in this respect, it will instead be accompanied by the vices of either servility or arrogance. (shrink)

In this paper, I argue that policing can be defended as consistent with the equality of all before the law – but not by denying that policing occupies a special place in our legal order that is dangerously close to certain ancien régime privileges. In order to defend the special privileges of policing, it is essential to show that they are something quite different from the ancien régime privileges that they in some respects resemble. The crucial conceptual tool for making (...) that argument is the idea of public office. Policing, I argue, is a public office and like other public offices, it comes equipped with a number of special rights, privileges, powers, and immunities that are not generally possessed by all persons in their private capacity. But that situation is no challenge to the equality of all persons before the law. Those special rights do not belong to the office-holder as their private property, to do with them just as they would like. They belong, instead, to the office itself, and they may be exercised only by someone duly appointed to the office (who may also be duly removed from office) and only in pursuit of the purposes that define her office. The idea of public office is what makes possible a necessary and acceptable kind of inequality – that between individual private persons on the one hand and the collective person of the state on the other – while maintaining the kind of equality that matters, which is the equality of all persons vis-à-vis one another. (shrink)

Several different quantum gravity research programmes suggest, for various reasons, that spacetime is not part of the fundamental ontology of physics. This gives rise to the problem of empirical coherence: if fundamental physical entities do not occupy spacetime or instantiate spatiotemporal properties, how can fundamental theories concerning those entities be justified by observation of spatiotemporally located things like meters, pointers and dials? I frame the problem of empirical coherence in terms of entailment: how could a non-spatiotemporal fundamental theory entail spatiotemporal (...) evidence propositions? Solutions to this puzzle can be classified as realist or antirealist, depending on whether or not they posit a non-fundamental spacetime structure grounded in or caused by the fundamental structure. These approaches place different constraints on our everyday concepts of space and time. Applying lessons from the philosophy of mind, I argue that only realism is both conceptually plausible and suitable for addressing the problem at hand. I suggest a role functionalist version of realism, which is consistent with both grounding and causation, and according to which our everyday concepts reveal something of the true nature of emergent spacetime. (shrink)

Using as a starting point recent and apparently incompatible conclusions by Saunders and Knox, I revisit the question of the correct spacetime setting for Newtonian physics. I argue that understood correctly, these two versions of Newtonian physics make the same claims both about the background geometry required to define the theory, and about the inertial structure of the theory. In doing so I illustrate and explore in detail the view—espoused by Knox, and also by Brown —that inertial structure is defined (...) by the dynamics governing subsystems of a larger system. This clarifies some interesting features of Newtonian physics, notably the distinction between using the theory to model subsystems of a larger whole and using it to model complete universes, and the scale-relativity of spacetime structure. _1_ Introduction _2_ Newtonian Mechanics and Galilean Spacetime _3_ Vector Relationism and Maxwellian Spacetime _4_ Recovering the Galilei Group: Dynamics of Subsystems _5_ Knox on Inertial Structure _6_ Connections on Maxwellian Spacetime _7_ Knox on Newtonian Gravity _8_ Vector Relationism and Newton–Cartan Theory _9_ Inertial Structure in Newton–Cartan Gravity _10_ Reconciling Knox and Saunders _11_ Conclusions. (shrink)

As robots and Artificial Intelligences become more enmeshed in rich social contexts, it seems inevitable that we will have to make them into moral machines equipped with moral skills. Apart from the technical difficulties of how we could achieve this goal, we can also ask the ethical question of whether we should seek to create such Artificial Moral Agents (AMAs). Recently, several papers have argued that we have strong reasons not to develop AMAs. In response, we develop a comprehensive analysis (...) of the relevant arguments for and against creating AMAs, and we argue that all things considered we have strong reasons to continue to responsibly develop AMAs. The key contributions of this paper are threefold. First, to provide the first comprehensive response to the important arguments made against AMAs by Wynsberghe and Robbins (in “Critiquing the Reasons for Making Artificial Moral Agents”, Science and Engineering Ethics 25, 2019) and to introduce several novel lines of argument in the process. Second, to collate and thematise for the first time the key arguments for and against AMAs in a single paper. Third, to recast the debate away from blanket arguments for or against AMAs in general, to a more nuanced discussion about the use of what sort of AMAs, in what sort of contexts, and for what sort of purposes is morally appropriate. (shrink)

Longtermism is the thesis that in a large class of decision situations, the best thing we can do is what is best for the long-term future. The scope question for longtermism asks: how large is the class of decision situations for which this is true? In this paper, I suggest that the scope of longtermism may be narrower than many longtermists suppose. I identify a restricted version of longtermism: swamping axiological strong longtermism (swamping ASL). I identify three scope-limiting factors - (...) probabilistic and decision-theoretic phenomena which, when present, tend to reduce the prospects for swamping ASL. I argue that these scope-limiting factors are often present in human decision problems, then use two case studies from recent discussions of longtermism to show how the scope-limiting factors lead to a restricted, if perhaps nonempty, scope for swamping ASL. (shrink)

Hylomorphists hold that substances are, in some sense, composites of matter and form. The form of a substance is typically taken to play a fundamental role in determining the unity or identity of the whole. Staunch hylomorphists think that this role is of a kind that precludes the ontological reduction of form to the physical and thus take their position to be inconsistent with physicalism. Forms, according to staunch hylomorphism, play a fundamental role in grounding their bearers’ proper parts and (...) that, it seems, rules out the physical grounding of form itself. I shall develop a physicalist version of hylomorphism that treats form as geometric structure and which, I shall argue, entails many of the central theses endorsed by staunch hylomorphists. Based on Shoemaker’s notion of conditional powers, I shall argue that the geometric structures of complex wholes are the conditions on at least some of the conditional powers of their bearers’ proper parts, transforming those powers into powers simpliciter. Thus, forms play a fundamental role in the dynamical evolution of the physical world, but without bestowing causal powers themselves and hence without violating the causal closure of the physical domain. If a substance’s proper parts are taken to be individuated by their powers simpliciter, then they derive their identities from their places in the substantial whole, which thus determines the identities of its proper parts without changing their intrinsic natures. (shrink)

Are demands for equality motivated by envy? Nietzsche, Freud, Hayek, and Nozick all thought so. Call this the Envy Objection. For egalitarians, the Envy Objection is meant to sting. Many egalitarians have tried to evade the Envy Objection.. But should egalitarians be worried about envy? In this paper, I argue that egalitarians should stop worrying and learn to love envy. I argue that the persistent unwillingness to embrace the Envy Objection is rooted in a common misunderstanding of the nature of (...) the charge, what it reveals, and what can be said in response to it. I develop what Bernard Williams might call a vindicatory genealogy of envy, thereby allowing us to see that envy, rather than undermining egalitarian intuitions, can in fact play a distinct justificatory role (when it is fitting), which undermines the Envy Objection. (shrink)

The causal closure of the physical poses a familiar causal exclusion problem for the special sciences that stems from the idea that if closure is true, then fundamental physical properties do all the causal work involved in bringing about physical effects. In this paper I aim to show that the strongest causal closure principle that is not ruled out by some simple physics in fact allows for a certain kind of downward causation, which in turn makes room for robust special (...) science autonomy. I focus on the case of vector composition, arguing that it involves irreducibly multilevel causation. To give a complete causal explanation of what goes on in cases that involve the effects of multiple forces, we need to appeal not only to the fundamental properties that generate those forces, but also to geometric properties that determine how multiple vectors compose. However, if all the causal work involved in such cases were due to fundamental physical properties, there would be a one-level explanation available. Hence, I argue, it cannot be the case that fundamental physical properties do all the causal work. The extra causal work, I suggest, comes from the fact that the causal powers bestowed by fundamental physical properties have irreducibly geometric manifestation conditions. I defend the resulting form of downward causation as a solution to the problem of special science autonomy, and discuss two potential accounts of its source, in terms of the debate between kinematic and dynamic theories of the origins of spacetime symmetries. (shrink)

We propose a formal framework for interpretable machine learning. Combining elements from statistical learning, causal interventionism, and decision theory, we design an idealised explanation game in which players collaborate to find the best explanation for a given algorithmic prediction. Through an iterative procedure of questions and answers, the players establish a three-dimensional Pareto frontier that describes the optimal trade-offs between explanatory accuracy, simplicity, and relevance. Multiple rounds are played at different levels of abstraction, allowing the players to explore overlapping causal (...) patterns of variable granularity and scope. We characterise the conditions under which such a game is almost surely guaranteed to converge on a optimal explanation surface in polynomial time, and highlight obstacles that will tend to prevent the players from advancing beyond certain explanatory thresholds. The game serves a descriptive and a normative function, establishing a conceptual space in which to analyse and compare existing proposals, as well as design new and improved solutions. (shrink)

Machine learning algorithms may radically improve our ability to diagnose and treat disease. For moral, legal, and scientific reasons, it is essential that doctors and patients be able to understand and explain the predictions of these models. Scalable, customisable, and ethical solutions can be achieved by working together with relevant stakeholders, including patients, data scientists, and policy makers.

Two hundred and sixty-three subjects each gave examples for one of five geographic categories: geographic features, geographic objects, geographic concepts, something geographic, and something that could be portrayed on a map. The frequencies of various responses were significantly different, indicating that the basic ontological terms feature, object, etc., are not interchangeable but carry different meanings when combined with adjectives indicating geographic or mappable. For all of the test phrases involving geographic, responses were predominantly natural features such as mountain, river, lake, (...) ocean, hill. Artificial geographic features such as town and city were listed hardly at all for geographic categories, an outcome that contrasts sharply with the disciplinary self-understanding of academic geography. However, geographic artifacts and fiat objects, such as roads, cities, boundaries, countries, and states, were frequently listed by the subjects responding to the phrase something that could be portrayed on a map. In this paper, we present the results of these experiments in visual form, and provide interpretations and implications for further research. (shrink)

This paper aims to provide hyperintensional foundations for mathematical platonism. I examine Hale and Wright's (2009) objections to the merits and need, in the defense of mathematical platonism and its epistemology, of the thesis of Necessitism. In response to Hale and Wright's objections to the role of epistemic and metaphysical modalities in providing justification for both the truth of abstraction principles and the success of mathematical predicate reference, I examine the Necessitist commitments of the abundant conception of properties endorsed by (...) Hale and Wright and examined in Hale (2013), and demonstrate how a two-dimensional approach to the epistemology of mathematics is consistent with Hale and Wright's notion of there being non-evidential epistemic entitlement rationally to trust that abstraction principles are true. A choice point that I flag is that between availing of intensional or hyperintensional semantics. The hyperintensional semantic approach that I advance is a topic-sensitive epistemic two-dimensional truthmaker semantics. I countenance a hyperintensional semantics for novel epistemic abstractionist modalities. I suggest that observational type theory can be applied to first-order abstraction principles in order to make abstraction principles recursively enumerable. Epistemic and metaphysical states and possibilities may thus be shown to play a constitutive role in vindicating the reality of mathematical objects and truth, and in providing a conceivability-based route to the truth of abstraction principles as well as other axioms and propositions in mathematics. (shrink)

Ontology has been proposed as a solution to the 'Tower of Babel' problem that threatens the semantic interoperability of information systems constructed independently for the same domain. In information systems research and applications, ontologies are often implemented by formalizing the meanings of words from natural languages. However, words in different natural languages sometimes subdivide the same domain of reality in terms of different conceptual categories. If the words and their associated concepts in two natural languages, or even in two terminological (...) traditions within the same language, do not have common referents in the real world, an ontology based on word meanings will inherit the 'Tower of Babel' problem from the languages involved, rather than solve it. In this paper we present evidence from a preliminary comparison of landscape terms in English with those in the Yindjibarndi language of northwestern Australia demonstrating that this problem is not just hypothetical. Some possible solutions are suggested. (shrink)

The shape of the Earth's surface, its topography, is a fundamental dimension of the environment, shaping or mediating many other environmental flows or functions. But there is a major divergence in the way that topography is conceptualized in different domains. Topographic cartographers, information scientists, geomorphologists and environmental modelers typically conceptualize topographic variability as a continuous field of elevations or as some discrete approximation to such a field. Pilots, explorers, anthropologists, ecologists, hikers, and archeologists, on the other hand, typically conceptualize this (...) same variability in terms of hills and valleys, mountains and plains, barrows and trenches, that is, as (special sorts of) objects, with locations, shapes, and often names of their own. In this chapter, we sketch an approach to bridging this fundamental gap in geographic information infrastructure. (shrink)

Does consciousness collapse the quantum wave function? This idea was taken seriously by John von Neumann and Eugene Wigner but is now widely dismissed. We develop the idea by combining a mathematical theory of consciousness (integrated information theory) with an account of quantum collapse dynamics (continuous spontaneous localization). Simple versions of the theory are falsified by the quantum Zeno effect, but more complex versions remain compatible with empirical evidence. In principle, versions of the theory can be tested by experiments with (...) quantum computers. The upshot is not that consciousness-collapse interpretations are clearly correct, but that there is a research program here worth exploring. (shrink)

An introduction to our edited volume, The Metaphysics of Relations, covering a range of issues including the problem of order, the ontological status of relations, reasons for ancient scepticism about relational properties, and two ways of drawing the distinction between internal and external relations.